/*
 *  Key.h
 *  lab3
 *
 *  Created by Fredrik Gustafsson on 2010-11-26.
 *  Copyright 2010 KTH. All rights reserved.
 *
 */

#ifndef _WOK2_KEY
#define _WOK2_KEY

#include <iostream>
#include <string>
#include "Item.h"
#include "Environment.h"

namespace wok2 {
	class Key : public Item{
	public:
		Environment* opens;
		std::string name;
		std::string description;
		virtual std::string type() const;
		Key(const Key&);
		Key(std::string, std::string, Environment*);
		virtual std::ostream& write_nongeneric(std::ostream& os) const;
	};
}

#endif